https://mathenchant.wordpress.com/2025/02/17/dedekinds-subtle-knife/